Labels:bulletin board | lodestone | monitor | reckoner OCR: DEFINITIONS HEOREMS PROOFS LEMMAS PROvED IN ISOLA TION PART OF LARGER PROOF. COROLLARY TRUE STATEMENT DERIVED EASILY FRoM THE MAIN THEOREM UNPROVEN POSSIBLY RUE TT Also: P MuST PROVE FORWAR T DIRECTION only MusT PROUE REVERSE DIRECTIDN CONJECTURES Possi A1so FORWARD
